[Parallel Computing] [Grundstudium]
Der Arbeitsbereich Paralleles Rechnen beteiligt sich an der Grundstudiumsausbildung durch regelmäßige Übernahme der Vorlesungen Informatik I, Informatik II und Informatik III. Desweiteren wird pro Jahr mindestens ein Proseminar angeboten.

Veranstaltungen im Wintersemester 1997/98:

Informatik III

Dozent Michael Kaufmann, Übung: Uli Fößmeier
Sprechstunde immer nachmittags
Zeit Di 16­18, Do 16­18
Umfang 4 + 2
Beginn 14.10.97
Ort Vorlesung jeweils in HS N8 (Morgenstelle)
Prüfungsfach Die Inhalte werden als Teil der dreiteiligen Klausur über Informatik I,II und III geprüft.
Beschreibung Die Inhalte der Vorlesung Informatik III entstammen der theoretischen Informatik. Eine grobe Einteilung der Themen kann in `Formale Sprachen' und `Komplexitätstheorie und Berechenbarkeit' erfolgen. Im ersten Teil werden Maschinenmodelle wie endliche Automaten, Push-Down-Automaten oder Turingmaschinen, sowie Beschreibungsmethoden wie endliche Ausdrücke oder Grammatiken behandelt. Der zweite Teil umfaßt Themen wie Entscheidbarkeit, Berechenbarkeit, µ-Rekursion sowie LOOP-Programmierung. Das Buch von Schöning: `Theoretische Informatik kurz gefaßt' , BI-Verlag 1992, kann vorlesungsbegleitend gelesen werden.

Michael Kaufmann (mk@informatik.uni-tuebingen.de)